Fast Peephole Optimization Techniques
نویسنده
چکیده
SUMMARY Techniques for increasing the throughput of a peephole optimizer for intermediate code are presented. An analysis of the optimations to be performed enables an efficient matching and replacement algorithm to be found which minimizes rescanning after a successful replacement. The optimizer uses procedural interfaces; both for the input from the front end phase of the compiler and for the output to the back end. The result is a library module which may optionally be loaded with various other phases of the compiler to provide a flexible range of options regarding compiler size, quality of generated code and compilation speed.
منابع مشابه
Formal Verification of Peephole Optimizations in Asynchronous Circuits
This paper proposes and applies novel techniques for formal verification of peephole optimizations in asynchronous circuits. We verify whether locally optimized modules can replace parts of an existing circuit under assumptions regarding the operation of the optimized modules in context. A verification rule related to assume-guarantee and hierarchical verification is presented, using relative t...
متن کاملUsing SSA Form in a Code Optimizer
We have constructed a simple yet powerful code optimizer that uses SSA form in concert with table-driven techniques for peephole optimization and code generation. This paper describes the problems with data dependences and 2-address instructions we encountered in combining these two techniques, and how we solved them.
متن کاملPerformance-Oriented Peephole Optimisation of Balsa Dual-Rail Circuits
The transparency and flexibility of the syntax-directed compilation technique, as used in the Tangram (now Haste) and Balsa synthesis systems, comes at the cost of performance overhead. Some control resynthesis and peephole optimisation techniques have been proposed to reduce this performance penalty. In this paper, we introduce new peephole optimisations for Balsa dual-rail circuits. The metho...
متن کاملAlive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
Peephole optimizations optimize and canonicalize code to enable other optimizations but are error-prone. Our prior research on Alive, a domain-specific language for specifying LLVM’s peephole optimizations, automatically verifies the correctness of integer-based peephole optimizations and generates C++ code for use within LLVM. This paper proposes Alive-FP, an automated verification framework f...
متن کاملPeek: A Formally Verified Peephole Optimization Framework for x86
Peek is a first step toward adding support for assembly-level program analyses, transformations, and optimizations in CompCert. Currently, Peek focuses on x86 peephole transformations implemented and verified in Coq. Peek is designed to provide a modular interface requiring that each peephole optimization satisfy only local correctness properties. Our primary result establishes that, assuming t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softw., Pract. Exper.
دوره 19 شماره
صفحات -
تاریخ انتشار 1989